Finite model theory - PDFSEARCH.IO - Document Search Engine

Finite model theory
Results: 870

#	Item
51	M EMORAX, a precise and sound tool for automatic fence insertion under TSO ? Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1 Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2013-11-24 07:41:22 Theoretical computer science Mathematics Finite automata Computing Theory of computation Formal methods Reachability problem Logic in computer science Model checking Memory barrier Preorder Algorithm
52	Graph games with perfect information Dietmar Berwanger∗ MPRI Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2013-02-21 07:55:45 Game theory Finite model theory Parity game Determinacy Reachability
53	Convergence of latent mixing measures in finite and infinite mixture models Long Nguyen Department of Statistics University of Michigan Add to Reading List Source URL: dept.stat.lsa.umich.edu Language: English - Date: 2012-09-24 16:38:48 Statistics Probability Estimation theory Stochastic processes Statistical models Probability distributions Cluster analysis Mixture model Dirichlet process Mixture distribution Identifiability
54	Notes on the model theory of finite and pseudo-finite fields Zo´e Chatzidakis, CNRS - Universit´e Paris 7. These notes contain the material covered during a mini-course given at the University of Helsinki, Apri Add to Reading List Source URL: www.logique.jussieu.fr Language: English - Date: 2009-05-22 11:05:14
55	Tackling Fibonacci words puzzles by finite countermodels Alexei Lisitsa1 Department of Computer Science, The University of Liverpool Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2013-06-10 17:15:26 Mathematics Logic Mathematical logic Model theory Fibonacci numbers Algebraic structures Semigroup theory Fibonacci word First-order logic Semigroup Interpretation Combinatory logic
56	J. Symbolic Computation, 351–369 Lattices of Compatibly Embedded Finite Fields† WIEB BOSMA‡, JOHN CANNON§ AND ALLAN STEEL¶ Computational Algebra Group, School of Mathematics and Statistics, The Univers Add to Reading List Source URL: www.math.ru.nl Language: English - Date: 2008-01-31 05:32:49 Field theory Polynomials Computer algebra Finite fields Abstract algebra Conway polynomial Field Minimal polynomial Embedding Model theory Factorization of polynomials Duality
57	Typed Meta-Interpretive Learning for Proof Strategies Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen Muggleton & Alan Bundy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Grammar Linguistics Mathematical logic Syntax FO Finite model theory Argument Lambda calculus Predicate Functional predicate
58	On the Use of Planning Technology for Verification Aws Albarghouthi Jorge A. Baier Sheila A. McIlraith Add to Reading List Source URL: www-vvps09.imag.fr Language: English - Date: 2009-08-25 03:10:48 Logic Mathematical logic Theoretical computer science Temporal logic Model checkers Linear temporal logic NuSMV Model checking Concurrency Finite model theory Planning Domain Definition Language SMV
59	The Design and Implementation of a Declarative Sensor Network System David Chu∗, Lucian Popa∗, Arsalan Tavakoli∗, Joseph M. Hellerstein∗, Philip Levis†, Scott Shenker∗, Ion Stoica∗ ∗EECS Computer Science Add to Reading List Source URL: sing.stanford.edu Language: English - Date: 2014-11-10 18:30:08 FO Finite model theory NIP Keyword cipher Mathematics
60	Disjunction Property and Finite Model Property for An Intuitionistic Epistemic Logic Yoichi Hirai ∗ Add to Reading List Source URL: yoichihirai.com Language: English - Date: 2013-03-27 09:07:24 Proof theory Symbol Natural deduction Constructible universe Riemann surfaces